es{-}tg{-}sends(${\it es}$; $l$; ${\it tg}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$m$.es{-}mtag(${\it es}$; $m$) = ${\it tg}$;es{-}sends(${\it es}$; $l$; $e$))